TEST_INVARIANTS
<div id="INVARIANT_VIOLATION"></div>
<div id="SHOULD_ALWAYS_BE_ON_THIS_PAGE"></div>